Intensional Programming for Agent Communication
نویسندگان
چکیده
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expressions in extended Lucid. It is shown that the extended Lucid language, called Agent Intensional Programming Language(AIPL), has the generality and the expressiveness for being an Agent Communication Language(ACL).
منابع مشابه
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous work on Lucx, an Intensional Programming Language extended with context as first class object, to support coordination activities in a distributed network of agents. We study coordination constructs which can be applied...
متن کاملTime Aspects of Transparent Intensional Logic in Communication and Decision-Making of Agents
This paper shows pitfalls in the formal representation of a state of a multiagent system that is changing in time and we propose a solution based on Transparent intensional logic. Moreover, we propose a method for the definition of facts and rules and communication between agents in such a way that preserves consistency of agents’ knowledge base. Using an example we present a set of methods for...
متن کاملSemantic Pre-processing of Anaphoric References
In the paper we describe the method of encoding communication of agents in a multi-agent system (MAS). The autonomous agents communicate with each other by exchanging messages formulated in a near-to-natural language. Transparent Intensional Logic (TIL) is an expressive system primarily designed for the logical analysis of natural language; thus we make use of TIL as a tool for encoding the sem...
متن کاملTIL as the Logic of Communication in a Multi-Agent System
The method of encoding communication of agents in a multi-agent system (MAS) is described. The autonomous agents communicate with each other by exchanging messages formulated in a near-to-natural language. Transparent Intensional Logic (TIL) is an expressive system primarily designed for the logical analysis of natural language; thus we make use of TIL as a tool for encoding the semantic conten...
متن کاملIntensional Programming Languages
This article introduces the basic notions behind the intensional programming paradigm. Intensional Logic—which is the underlying theoretical framework of intensional languages is described and motivated by examples. One-dimensional and multidimensional intensional languages are discussed and existing intensional systems are surveyed. The article concludes with a presentation of the most success...
متن کامل